121. Intelligent Tutoring Systems :
پدیدآورنده : edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information systems.,Multimedia systems.
122. Intelligent information and database systems :
پدیدآورنده : Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
رده :
Q334
.
A85
2019
123. Interactive Systems:
پدیدآورنده : edited by Fabio Paternó.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
124. Introduction to digital systems design /
پدیدآورنده : Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages.,System design.,Algorithms.,Electrical Engineering.,Logic Design.,Computer architecture & logic design.,Computer hardware description languages.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Electrical engineering.,Numerical analysis.,System design.,Technology & Engineering-- Electrical.
رده :
QA76
.
9
.
S88
125. Introduction to parallel computing :
پدیدآورنده : Roman Trobec, Boštjan Slivnik, Patricio Bulić, Borut Robič.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers),Parallel programming (Computer science),Control Structures and Microprogramming.,Numeric Computing.,Processor Architectures.,Programming Techniques.,Algorithms & data structures.,Computer architecture & logic design.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Systems Architecture-- General.,Mathematical theory of computation.,Parallel processing (Electronic computers),Parallel programming (Computer science)
رده :
QA76
.
642
126. Java frameworks and components :
پدیدآورنده : Michael Nash.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Development.,Java (Computer program language),Anwendungssoftware,Application software-- Development.,Computer Science.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,Engineering & Applied Sciences.,Java,Java (Computer program language),Softwareentwicklung
رده :
QA76
.
73
.
J38
N355
2003eb
127. Job scheduling strategies for parallel processing :
پدیدآورنده : Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
58
128. LATINCRYPT 2017-Progress in Cryptology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
129. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
130. Learning and Coordination :
پدیدآورنده : by Steven H. Kim.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Mechanical engineering.
رده :
QA76
.
87
B978
1994
131. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
132. Logic, Algebra, and Computation :
پدیدآورنده : edited by Friedrich L. Bauer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
133. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
134. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
135. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
136. Microsoft Visual Basic Programs to Accompany Programming Logic and Design
پدیدآورنده : / Jo Ann Smith
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
137. Model Checking Software :
پدیدآورنده : edited by Ezio Bartocci, C.R. Ramakrishnan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
138. Modeling Design Objects and Processes
پدیدآورنده : edited by Takaaki Yagiu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Physics.,Software engineering.
رده :
TA345
.
E358
1991
139. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
140. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
